339,732 research outputs found

    The structured phase of concurrency

    Get PDF
    This extended abstract summarizes the state-of-the-art solution to the structuring problem for models that describe existing real world or envisioned processes. Special attention is devoted to models that allow for the true concurrency semantics. Given a model of a process, the structuring problem deals with answering the question of whether there exists another model that describes the process and is solely composed of structured patterns, such as sequence, selection, option for simultaneous execution, and iteration. Methods and techniques for structuring developed by academia as well as products and standards proposed by industry are discussed. Expectations and recommendations on the future advancements of the structuring problem are suggested

    Interactive Problem Structuring with ICZM Stakeholders

    Get PDF
    Integrated Coastal Zone Management (ICZM) is struggling with a lack of science-management integration. Many computer systems, usually known as “decision support systems”, have been developed with the intention to make scientific knowledge about complex systems more accessible for coastal managers. These tools, allowing a multi-disciplinary approach with multi-criteria analyses, are designed for well-defined, structured problems. However, in practice stakeholder consensus on the problem structure is usually lacking. Aim of this paper is to explore the practical opportunities for the new so-called Quasta approach to structure complex problems in a group setting. This approach is based on a combination of Cognitive Mapping and Qualitative Probabilistic Networks. It comprehends a new type of computer system which is quite simple and flexible as well. The tool is tested in two workshops in which various coastal management issues were discussed. Evaluations of these workshops show that (1) this system helps stakeholders to make them aware of causal relationships, (2) it is useful for a qualitative exploration of scenarios, (3) it identifies the quantitative knowledge gaps of the problem being discussed and (4) the threshold for non technicians to use this tool is quite low.Integrated Coastal Zone Management, Problem Structuring, Stakeholder Participation, Cognitive Mapping, Interactive Policy Making

    A problem-structuring model for analyzing transportation–environment relationships

    Get PDF
    This is the post-print version of the final paper published in European Journal of Operational Research. The published article is available from the link below. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. Copyright @ 2009 Elsevier B.V.This study discusses a decision support framework that guides policy makers in their strategic transportation related decisions by using multi-methodology. For this purpose, a methodology for analyzing the effects of transportation policies on environment, society, economy, and energy is proposed. In the proposed methodology, a three-stage problem structuring model is developed. Initially, experts’ opinions are structured by using a cognitive map to determine the relationships between transportation and environmental concepts. Then a structural equation model (SEM) is constructed, based on the cognitive map, to quantify the relations among external transportation and environmental factors. Finally the results of the SEM model are used to evaluate the consequences of possible policies via scenario analysis. In this paper a pilot study that covers only one module of the whole framework, namely transportation–environment interaction module, is conducted to present the applicability and usefulness of the methodology. This pilot study also reveals the impacts of transportation policies on the environment. To achieve a sustainable transportation system, the extent of the relationships between transportation and the environment must be considered. The World Development Indicators developed by the World Bank are used for this purpose

    Moving beyond value conflicts : systemic problem structuring in action

    Get PDF
    Abstract: Value conflicts can become entrenched in a destructive pattern of mutual stigmatization, which inhibits the emergence of new understandings of the situation and actions for improvement. In extreme cases, such patterns can even lead to violence. This paper offers a new systems theory of value conflict, which suggests the possibility of three different strategies for intervention using problem structuring methods: supporting people in transcending overly narrow value judgements about what is important to them; seeking to widen people’s boundaries of the issues that they consider relevant; and attempting to challenge stereotyping and stigmatization by building better mutual understanding. Each of these three strategies is illustrated with practical examples from operational research projects on natural resource management in New Zealand

    Moving beyond value conflicts : systemic problem structuring in action

    Get PDF
    Value conflicts can become entrenched in a destructive pattern of mutual stigmatization, which inhibits the emergence of new understandings of the situation and actions for improvement. In extreme cases, such patterns can even lead to violence. This paper offers a new systems theory of value conflict, which suggests the possibility of three different strategies for intervention using problem structuring methods: supporting people in transcending overly narrow value judgements about what is important to them; seeking to widen people’s boundaries of the issues that they consider relevant; and attempting to challenge stereotyping and stigmatization by building better mutual understanding. Each of these three strategies is illustrated with practical examples from operational research projects on natural resource management in New Zealand

    Problem structuring interventions in practice?

    Get PDF
    This is the final versionThe derivation of generic constitutive rules for Problem Structuring Methods (PSMs) was motivated by the observation of everyday problem structuring in organisations (Yearworth & White, 2014). The existence of a ‘problem structuring mentality’ naturally provokes questions about appropriate underlying theory. There is already a nexus around the practice of problem structuring and theorising about it and social practice theory offers a way forward (Ormerod, 2008, 2014, 2016). This might provide the means for connecting research into OR practice with wider debates in the management literature. The workshop nature of PSM engagements provides a unique insight into the particular place and particular time of management decision making when dealing with messy problems. We define a research agenda, set out some provocative research questions and discuss their implications for OR practiceEuropean Commissio

    Algorithmic Structuring of Cut-free Proofs

    Get PDF
    The problem of algorithmic structuring of proofs in the sequent calculi LK and LKB ( LK where blocks of quantifiers can be introduced in one step) is investigated, where a distinction is made between linear proofs and proofs in tree form. In this framework, structuring coincides with the introduction of cuts into a proof. The algorithmic solvability of this problem can be reduced to the question of k-l-compressibility: "Given a proof of length k , and l ≤ k : Is there is a proof of length ≤ l ?" When restricted to proofs with universal or existential cuts, this problem is shown to be (1) undecidable for linear or tree-like LK-proofs (corresponds to the undecidability of second order unification), (2) undecidable for linear LKB-proofs (corresponds to the undecidability of semi-unification), and (3) decidable for tree-like LKB -proofs (corresponds to a decidable subprob- lem of semi-unification)

    A problem structuring method for ecosystem-based management : the DPSIR modelling process

    Get PDF
    The purpose of this paper is to learn from Complex Adaptive Systems (CAS) theory to inform the development of Problem Structuring Methods (PSMs) both in general and in the specific context of marine management. The focus on marine management is important because it is concerned with a CAS (formed through the interconnection between natural systems, designed systems and social systems) which exemplifies their particularly ‘wicked' nature. Recognition of this compels us to take seriously the need to develop tools for knowledge elicitation and structuring which meet the demands of CAS. In marine management, chief among those tools is the DPSIR (Drivers - Pressures - State Changes - Impacts - Responses) model and, although widely applied, the extent to which it is appropriate for dealing with the demands of a CAS is questionable. Such questioning is particularly pertinent in the context of the marine environment where there is a need to not only recognise a broad range of stakeholders (a question of boundary critique) but also to manage competing knowledge (economic, local and scientific) and value claims. Hence this paper emphasises how a CAS perspective might add impetus to the development of a critical perspective on DPSIR and PSM theory and practice to promote a more systemic view of decision-making and policy development
    corecore